面向任务的有人机/无人机协同对地攻击概率模型

有人机/无人机协同对地攻击是未来空对地打击的主要作战样式,如何评估其协同作战的效能是军地双方共同面对的重要课题。首先根据完成对地攻击任务的4个环节建立了对地攻击的总概率模型;然后基于桥联模型建立了各个环节的概率模型;最后给出了一架有人机协同两架无人机对地攻击的算例,并对模型反算、协同与非协同对比以及多波次攻击等问题进行了讨论和分析,验证了模型良好可用性和广泛适用性。     

面向Bayer真彩色航空影像特征匹配的彩色描述符适用性分析

针对Bayer真彩色遥感影像进行特征匹配时,彩色描述符的效果与适用性问题一直研究较少。结合Bayer真彩色遥感影像成像变化规律和彩色描述符算法特点,从理论上分析彩色描述符的不变性。提出模拟数据评价、不同类别影像评价、任务总体适用性评价等三种实验方法对彩色描述符适用性进行实验验证和分析。通过理论分析和实验评估,总体上彩色描述符中RGBSIFT算法效果最优,对Bayer真彩色航空影像特征匹配有较好的适用性,并且不同地物属性影像在特征匹配时有不同的最优彩色描述符。     

基于系统动力学的装备保障体制系统仿真分析

装备保障体制系统具有复杂性、动态性和非线性等特点,构建了三级装备保障体制的SD仿真理想模型和仿真延迟模型。充分考虑保障系统生成各要素之间都具有的反馈性和时滞性,通过模型仿真对三级装备保障系统的稳定性进行了分析,并指出了建立二级装备保障体制的条件,分析了军民联合的保障机制对保持保障系统稳定性的重要作用。最后基于仿真结果提出了装备保障体制建设方面的几点建议。     

复杂战场环境下的防空反导光学成像制导技术

光学成像制导技术是提升精确制导武器防空反导能力的核心技术之一,对提高复杂战场环境下精确制导武器的防空反导能力具有十分重要的作用。针对复杂战场环境下防空反导的需求,首先深入分析了各种复杂战场环境要素给光学成像制导武器带来的挑战,然后对未来光学成像制导技术发展趋势进行预测,最后结合我国光学成像制导技术发展现状,介绍了未来几年间需重点探索的几种新型光学成像制导技术。     

系统动力学装甲兵进攻战斗中机降行动效果分析

围绕装甲机械化部队机降行动的作战特点,着眼于充分发挥机降行动击敌要害的战术优长,在新一代战斗条令的理论指导下,运用系统动力学方法和兰彻斯特战斗理论,建立装甲兵部队进攻战斗中机降行动的系统动力学模型,探索装甲兵部队在使用机降力量快速达成战术目的新方法,为指挥员科学使用这一战术手段提供了定量依据和有效的辅助决策支持.     

基于FRFT的FMCW SAR成像

调频连续波合成孔径雷达(FMCW SAR)结合调频连续波与合成孔径成像技术,具有体积小、重量轻、成本低、分辨率高等一系列优点,是新近提出来的一种成像雷达体制。由于FMCW SAR的差频信号在方位向可以转化为调频信号,据此提出了一种基于分数阶傅立叶变换(FRFT)的FMCW SAR成像算法。仿真结果表明,该算法与RD算法相比较,方位向主瓣压缩和旁瓣抑制效果非常明显。     

基于串联QFD神经网络的武器装备使用需求映射方法

针对传统优化方法不能对武器装备使用主体――部队的使用需求进行有效考虑,提出武器装备使用需求到性能指标映射的串联QFD神经网络方法.该方法综合利用了QFD方法采集信息准确快速、神经网络能够精确模拟多变量输入输出强非线性关系的优点,提高了映射精度与针对性,克服了传统需求分析侧重于推理而轻实践、侧重于"设计方"而轻"使用方"的弊端,集中体现了"用户"为主的思想.改进了传统BP网络训练算法,给出了武器装备使用需求映射适应度函数.最后,结合实例对方法及算法进行了可靠性验证.     

气象条件对远程火箭炮射击精度的影响及对策

针对远程火箭炮武器系统射击精度问题,运用误差分析法探讨气象条件对远程火箭炮武器系统射击精度的影响.为提高射击精度,分析了气象准备的诸元误差及气象条件的时空变化对命中概率的影响,并把气象条件的时空变化对远程火箭炮武器系统气象准备精度和命中概率的影响进行了量化,从而找出气象条件的时空变化影响射击精度的根源.针对误差根源探讨了解决措施,为该武器系统实现精确火力打击提供保障.     

关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.